Automated theorem proving - PDFSEARCH.IO - Document Search Engine

Automated theorem proving
Results: 768

#	Item
421	A Framework for Interactive Proof David Aspinall1 , Christoph L¨ uth2 , and Daniel Winterstein1 1 2 Add to Reading List Source URL: proofgeneral.inf.ed.ac.uk Language: English - Date: 2007-10-25 09:31:45 Cryptographic protocols Computational complexity theory Interactive proof system Proof assistant Coq IP Isabelle ACL2 Emacs Software Theoretical computer science Automated theorem proving
422	Making a Century in HERMIT Extended Abstract Neil Sculthorpe Computer Science Department Swansea University {N.A.Sculthorpe}@swansea.ac.uk Add to Reading List Source URL: ifl2014.github.io Language: English - Date: 2015-03-04 15:20:42 Higher-order functions Functional languages Functional programming Automated theorem proving Type theory Haskell Fold Map QuickCheck Software engineering Computing Declarative programming
423	Proof General / Eclipse: A Generic Interface for Interactive Proof Daniel Winterstein1 , David Aspinall1 , and Christoph L¨ uth2 2 Add to Reading List Source URL: proofgeneral.inf.ed.ac.uk Language: English - Date: 2005-02-06 07:36:58 Proof assistant Functional languages Isabelle Theorem prover Emacs Interactive proof system Coq KeY Mathematical proof Software Theoretical computer science Automated theorem proving
424	A small experiment in Event-B rippling Gudmund Grov, Alan Bundy & Lucas Dixon [removed] [removed] Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:50 Rippling IsaPlanner Mathematical proof Formal methods Theorem Logic Automated theorem proving Mathematics
425	Unleashing Mayhem on Binary Code Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Software engineering Automated theorem proving Concolic testing Symbolic execution KeY X86 Parallel computing Function Type system Mathematics Computing Data types
426	NATURAL FORMALISM PETER KOEPKE The language of mathematics as found in textbooks and research articles is a variant of natural language which admits symbolic terms and formulas within argumentative natural language conte Add to Reading List Source URL: users.ox.ac.uk Language: English - Date: 2015-03-28 11:33:54 Philosophy of mathematics Logical syntax Formal languages Proof theory Mathematical proof Formal proof Formalism Automated theorem proving Theorem Logic Mathematics Mathematical logic
427	Nonuniform Coercions via Unification Hints Claudio Sacerdoti Coen Enrico Tassi Department of Computer Science, University of Bologna Add to Reading List Source URL: www.cs.unibo.it Language: English - Date: 2011-03-22 11:23:42 Automated theorem proving Logic programming Unification ALGOL 68 State space Admissible rule Programming language theory Mathematical logic Software engineering
428	Proceedings of the 7th IJCAR ATP System Competition (CASC-J7) Geo↵ Sutcli↵e University of Miami, USA Abstract Add to Reading List Source URL: www.cs.miami.edu Language: English - Date: 2014-11-26 09:16:24 Theoretical computer science CADE ATP System Competition Vampire E theorem prover CASC Automated reasoning Mathematical logic Mathematical proof Theorem Logic Mathematics Automated theorem proving
429	Natural deduction environment for Matita Claudio Sacerdoti Coen? and Enrico Tassi? Department of Computer Science, University of Bologna Mura Anteo Zamboni, 7 — 40127 Bologna, ITALY {sacerdot,tassi}@cs.unibo.it Add to Reading List Source URL: www.cs.unibo.it Language: English - Date: 2010-02-23 11:12:50 Mathematical logic Markup languages Mathematical markup languages Logical syntax Automated theorem proving Natural deduction MathML Theorem Formal proof Logic Mathematics Proof theory
430	Automated Certified Proofs with CiME3∗ ´ Contejean1,2 E. P. Courtieu3 Add to Reading List Source URL: cedric.cnam.fr Language: English - Date: 2011-02-13 18:15:50 Applied mathematics Automated theorem proving Formal languages Logic in computer science Computability theory Termination analysis Mathematical proof Rewriting Heuristic Theoretical computer science Mathematics Mathematical logic

UPDATE